منابع مشابه
Proof Development with Ω mega : √ 2 Is Irrational
Freek Wiedijk proposed the well-known theorem about the irrationality of √ 2 as a case study and used this theorem for a comparison of fifteen (interactive) theorem proving systems, which were asked to present their solution (see [48]). This represents an important shift of emphasis in the field of automated deduction away from the somehow artificial problems of the past as represented, for exa...
متن کاملSmooth Extensions for a Finite Cw Complex
The C* -algebra extensions of a topological space can be made into an abelian group which is naturally equivalent to the Khomology group of odd dimension [1] which has a close relation with index theory and is one of the starting points of KK theory [8]. The Cp -smoothness of an extension of a manifold was introduced in [3, 4], where Cp denotes the Schatten-von Neumann p-class [5]. We generaliz...
متن کاملCW Complexes for Complex Algebraic Surfaces
We describe CW complexes for complex projective algebraic surfaces in the context of practical computation of topological invariants. CW COMPLEXES FOR COMPLEX ALGEBRAIC SURFACES
متن کاملOrdered abelian groups over a CW complex
If X is a CW complex, one can assign to each point of X an ordered abelian group of finite rank whose subset of positive elements depends continuously on the points of X. A locally trivial bundle which arises in this way we denote by EX . In the present work we establish a topological classification of such bundles in terms of the first cohomology group of X with coefficients in the ring Z2.
متن کاملComparing Globular Cw-complex and Flow
A functor is constructed from the category of globular CW-complexes to that of flows. It allows to compare the S-homotopy equivalences (resp. the T-homotopy equivalences) of globular complexes with the S-homotopy equivalences (resp. the T-homotopy equivalences) of flows. Moreover, one proves that this functor induces an equivalence of categories from the localization of the category of globular...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Pure and Applied Algebra
سال: 1983
ISSN: 0022-4049
DOI: 10.1016/0022-4049(83)90092-0